Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
111	Transformation Groups, Vol. 8, No. 4, 2003, pp. 321–332 c Birkh¨ auser Boston (2003) Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:47:05 Algebraic combinatorics Kazhdan–Lusztig polynomial Polynomials Representation theory of Lie algebras Representation theory of Lie groups Representation theory Symbol Dual space Linear temporal logic Abstract algebra Algebra Mathematics
112	The Marxian Transformation Problem Gérard Duménil+ and Duncan Foley++ Abstract: The origins of the Marxian Transformation Problem lie in the differences between two central abstractions of classical political economy, Add to Reading List Source URL: www.jourdan.ens.fr Language: English - Date: 2009-07-16 10:35:26 Transformation problem Labor theory of value Temporal single-system interpretation Marxian economics Surplus value Commodity Exchange value Constant capital Nobuo Okishio Marxist theory Marxism Prices of production
113	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
114	Eisenstein Series* R.P. Langlands 1. Preliminaries. In these lectures I want to discuss, with some indications of proofs, some of the elementary facts in the theory of Eisenstein series. Although the discussion can be ca Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2004-09-28 00:33:01 Mathematics Symbol Representation theory Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Abstract algebra Operator theory
115	Representation and Querying of Valid Time of Triples in Linked Geospatial Data ? Konstantina Bereta, Panayiotis Smeros, and Manolis Koubarakis National and Kapodistrian University of Athens, Greece {Konstantina.Bereta, p Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Web standards Query languages Computer languages Semantic Web Database theory SPARQL Temporal database Named graph Temporal parts Data management Computing RDF
116	Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Management Logic Model theory Linear temporal logic Temporal logic Workflow Satisfiability YAWL Boolean satisfiability problem Mathematical logic Workflow technology Theoretical computer science
117	Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2011-04-14 03:17:50 Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic
118	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
119	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
120	Chaos and multiple mode spatio-temporal complexity in thermo-visco-elastic systems subject to laser irradiation O. Gottlieb and E. Hollander Department of Mechanical Engineering, Technion - Israel Institute of Technology Add to Reading List Source URL: www.cmsim.org Language: English - Date: 2015-05-19 15:49:12 Structure Limit-cycle Hopf bifurcation Chaos theory Dynamical system Bifurcation diagram Oscillation Laser Nonlinear system Bifurcation theory Physics Mathematical analysis

UPDATE